Accuracy analysis on the Rayleigh-Ritz type of the contour integral based eigensolver for solving generalized eigenvalue problems Akira Imakura1,* , Lei Du2 , and Tetsuya Sakurai1,3 1

Source URL: www.cs.tsukuba.ac.jp

• Abstract algebra
• Numerical linear algebra
• Matrix theory
• Eigenvalue algorithm
• Eigenvalues and eigenvectors
• Vector space
• Lp space
• Weight
• Algebra
• Mathematics
• Linear algebra

c Academic Press. To appear. In Information and Computation Type Inference for Variant Object Types Michele Bugliesi Dipartimento di Informatica, Universit`a Ca’ Foscari di Venezia

Source URL: www.dsi.unive.it

• Data types
• Computing
• Object-oriented programming
• Polymorphism
• Type systems
• Subtype polymorphism
• Symbol
• Inheritance
• System F
• Type theory
• Software engineering
• Programming language theory

Rozzle: De-Cloaking Internet Malware Clemens Kolbitsch Benjamin Livshits and Benjamin Zorn Christian Seifert

Source URL: research.microsoft.com

• Data types
• Type theory
• JavaScript
• Computer security
• Malware
• Client honeypot
• Internet Explorer 9
• C
• Type system
• Computing
• Software
• Cross-platform software

PLEASE TYPE POLICY TITLE HERE

Source URL: www.schn.health.nsw.gov.au

• ChileHardware
• Decision theory
• Government
• Policy

Demand-Driven Type Analysis: an Introduction Danny Dube Marc Feeley

Source URL: repository.readscheme.org

Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs

Source URL: raweb.inria.fr

• Functional languages
• Type theory
• Procedural programming languages
• Theoretical computer science
• Logic in computer science
• OCaml
• Type system
• Coq
• ML
• Software engineering
• Computing
• Programming language theory

Property Inference for Maple: An Application of Abstract Interpretation Jacques Carette1 Stephen Forrest1

Source URL: www.cas.mcmaster.ca

• Data types
• Computer programming
• Object-oriented programming
• Functional programming
• Polymorphism
• Type system
• Variable
• Type class
• C
• Software engineering
• Computing
• Type theory

ICFP 2008 Final Program Monday, Sep 22, 2008 Invited Talk (Chair: Peter Thiemann) 9:00 Lazy and Speculative Execution in Computer Systems Butler Lampson; Microsoft Research

Source URL: www.icfpconference.org

• Functional programming
• Functional languages
• Year of birth missing
• Type theory
• ICFP Programming Contest
• Generic programming
• Bluespec
• Inc.
• Haskell
• International Conference on Functional Programming
• Software engineering
• Computing
• Programming language theory

Microsoft PowerPoint - UPC-Perf-Model.ppt

Source URL: upc.gwu.edu

• Data management
• Barcodes
• Identifiers
• Supply chain management
• Universal Product Code
• Vectorization
• Type system
• Parallel computing
• Partition
• Compiler optimizations
• Programming language theory
• Computing